trace (a && b);
